application: Use the new API to get the startup notification ID
authorMario Sanchez Prada <msanchez@gnome.org>
Mon, 4 Jun 2018 16:27:45 +0000 (17:27 +0100)
committerMario Sanchez Prada <msanchez@gnome.org>
Mon, 11 Jun 2018 15:28:24 +0000 (16:28 +0100)
commit479c341545bb5e4f04dbbd2df6fa9318bdfb9888
tree4a05e2793ce5c0420bb828ad7d55465b8de35161
parent938448e0efb99b8f4144d9df817643fc28adb687
application: Use the new API to get the startup notification ID

The DESKTOP_STARTUP_ID gets cleared early after the process is spawned,
meaning that it's too late at add_platform_data() to pick it up and send
it over to the primary instance, as it will be always unset at that point.

To solve this, we use the new gdk_display_get_startup_notification_id()
method to pull the startup notification ID for the application, if present,
out of the display and pass it over to that primary instance.

https://gitlab.gnome.org/GNOME/gtk/issues/1084
gtk/gtkapplication.c